The Modal Logic of Aristotelian Diagrams
نویسندگان
چکیده
In this paper, we introduce and study AD-logic, i.e., a system of (hybrid) modal logic that can be used to reason about Aristotelian diagrams. The language LAD, is interpreted on kind birelational Kripke frames, which call “AD-frames”. We establish sound strongly complete axiomatization for prove there exists bijection between finite diagrams (up isomorphism) AD-frames isomorphism). then show how AD-logic express several major insights diagrams; example, every well-known family A, exhibit formula χA∈LAD an diagram D belongs the A iff χA validated by (when latter viewed as AD-frame). Finally, itself gives rise new interesting diagrams, reflect their profoundly peculiar status.
منابع مشابه
Shape Heuristics in Aristotelian Diagrams
Aristotelian diagrams have a long and rich history in philosophical logic. Today, they are widely used in nearly all disciplines dealing with logical reasoning. Logical geometry is concerned with the theoretical study of these diagrams, from both a logical and a visual/geometrical perspective. In this paper, we argue that the concrete shape of Aristotelian diagrams can be of great heuristic val...
متن کاملThe Diagonal Lemma Fails in Aristotelian Logic
Gödel's theorem does not need an introduction. But it is generally not acknowledged that all instances of Gödel's sentence are vacuous (see below). On the contrary Aristotelian logic permits only sentences that are not vacuous. The consequences of these observations are surprising. What does the article title mean? First of all by " Aristotelian logic " we will understand the logic of the tradi...
متن کاملTheoretical principles of ethical architecture in the holy Quran: On the basis of Aristotelian logic in Islamic school of thought
This research is a Qur'anic review that examines the effects of ethics on architecture from the Holy Qur'an’s point of view with the goal of introducing logical theoretical principals of ethical architecture. In order to reach the research goal, this research conducts the Induction, deduction and reverse extraction of research’s resulted theoretical concepts based on Aristotle's formal logic. T...
متن کاملModal Object Diagrams
While object diagrams (ODs) are widely used as a means to document object-oriented systems, they are expressively weak, as they are limited to describe specific possible snapshots of the system at hand. In this paper we introduce modal object diagrams (MODs), which extend the classical OD language with positive/negative and example/invariant modalities. The extended language allows the designer...
متن کاملThe true modal logic
For Arthur Prior, the construction of a logic was a supremely philosophical task. As a logician, he could of course appreciate a finely crafted formal system for its own sake, independent of its " meaning " or philosophical significance. But a genuine logic-a good one, at least-lays bare the nature of those concepts that it purports to be a logic of: and this comes only by way of deep rellec-ti...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Axioms
سال: 2023
ISSN: ['2075-1680']
DOI: https://doi.org/10.3390/axioms12050471